<?php
	$result = printf("hi")
		or die("could not print");
?>
